<html>
<head><meta charset="utf-8"><title>design space for structural_match and friends · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html">design space for structural_match and friends</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="178378972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178378972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178378972">(Oct 17 2019 at 13:09)</a>:</h4>
<blockquote>
<p>We (the lang team) should probably look at stuctural_match and friends more broadly before we paint ourselves into a corner with a series of PRs</p>
</blockquote>
<p>Yes I've been thinking the same</p>
<p>(forked off from <a href="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-10-17.20.2354818/near/178378949" title="#narrow/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-10-17.20.2354818/near/178378949">pre-triage</a>)</p>



<a name="178379009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379009">(Oct 17 2019 at 13:09)</a>:</h4>
<p>(for now I think we should take a conservative stance with PRs to leave that design room open)</p>



<a name="178379014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379014">(Oct 17 2019 at 13:10)</a>:</h4>
<p>At this point I've explored the design space a fair amount and think I could present semi-coherently on-the-fly if needed</p>



<a name="178379072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379072">(Oct 17 2019 at 13:10)</a>:</h4>
<p><span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="178379099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379099">(Oct 17 2019 at 13:10)</a>:</h4>
<p>but I agree that I want to take a conservative approach initially</p>



<a name="178379123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379123">(Oct 17 2019 at 13:10)</a>:</h4>
<p>which is actually good</p>



<a name="178379162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379162">(Oct 17 2019 at 13:11)</a>:</h4>
<p>because my understanding of "conservative approach" is actually a version I already got working, and then set aside to experiment with miri values</p>



<a name="178379277"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379277" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379277">(Oct 17 2019 at 13:12)</a>:</h4>
<p>(to elaborate: what I mean by "conservative" is "accept less code" ^^)</p>



<a name="178379283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379283">(Oct 17 2019 at 13:12)</a>:</h4>
<p>(and now discussions with <span class="user-mention" data-user-id="116009">@nikomatsakis</span> have convinced me that while miri values could be great to use in the long term, they could also present a stability hazard for <code>const fn</code> that users will not  expect)</p>



<a name="178379327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379327">(Oct 17 2019 at 13:12)</a>:</h4>
<p>anyway lets maybe table this or at least fork it off to a separate topic</p>



<a name="178379333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379333">(Oct 17 2019 at 13:12)</a>:</h4>
<p>agree</p>



<a name="178379348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/design%20space%20for%20structural_match%20and%20friends/near/178379348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/design.20space.20for.20structural_match.20and.20friends.html#178379348">(Oct 17 2019 at 13:13)</a>:</h4>
<p>in fact I'll fork it now</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>